This paper explores the semantic consistency problem of UML class diagram, and proposes an approach to automatically check the consistency of a class diagram. 论文研究了UML类图模型的语义一致性问题,提出了一种自动检验类图一致性的方法。
Design and implement semantic verification and metadata consistency check in metadata knowledge management. 4. 在元数据知识管理技术中,设计和实现了具有元数据一致性检测和语义验证的功能。
Pattern matching utilizes abstract syntax tree isomorphism algorithm; Pointer semantics determines the semantics of programs through semantic constraints to check out security vulnerabilities; Interprocedural analysis adopts summary-based context sensitive analysis. 模式匹配采用了抽象语法树同构判断算法;指针语义则是通过语义约束来确定程序唯一语义以达到检查安全漏洞的目的;跨过程分析采用基于总结的上下文敏感分析方法。